$\forall$$a$:Id, $l$:IdLnk, ${\it tg}$:Id. (locl($a$) = rcv($l$,${\it tg}$) $\in$ Knd) $\Rightarrow$ False